Error-Tolerance and Error Management in Lightweight Description Logics

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lightweight Description Logics with Meta-modelling

In order to incorporate meta-modelling in Description Logic, we add equations between individuals and concepts. We naturally require that the individual and the concept are semantically equal and the interpretation domain should be a well-founded set. In this paper, we consider the Description Logics behind the three OWL 2 profiles extended with meta-modelling and study the problems of checking...

متن کامل

Tractable Queries for Lightweight Description Logics

It is a classic result in database theory that conjunctive query (CQ) answering, which is NP-complete in general, is feasible in polynomial time when restricted to acyclic queries. Subsequent results identified more general structural properties of CQs (like bounded treewidth) which ensure tractable query evaluation. In this paper, we lift these tractability results to knowledge bases formulate...

متن کامل

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms

Conjunctive regular path queries are an expressive extension of the well-known class of conjunctive queries. Such queries have been extensively studied in the (graph) database community, since they support a controlled form of recursion and enable sophisticated path navigation. Somewhat surprisingly, there has been little work aimed at using such queries in the context of description logic (DL)...

متن کامل

Formalising Human Error Resistance and Human Error Tolerance

A key aim of human-machine interface design for aircraft control systems it to prevent pilot errors from jeopardising the safety of the aircraft. In terms of safety engineering designers should seek designs that minimise the risk of human error. To achieve this designers should aim to produce designs for control systems that minimise the probability of human errors occurring, and that minimise ...

متن کامل

Description Logics in Data Management

Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Arti cial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations | each involving one or more languages. Speci cally, we indicat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: KI - Künstliche Intelligenz

سال: 2020

ISSN: 0933-1875,1610-1987

DOI: 10.1007/s13218-020-00684-5